Combining Human Error Verification and Timing Analysis
نویسندگان
چکیده
Designs can often be unacceptable on performance grounds. In this work, we integrate a GOMS-like ability to predict execution times into the generic cognitive architecture developed for the formal verification of human error related correctness properties. As a result, formal verification and GOMSlike timing analysis are combined within a unified framework. This allows one to judge whether a formally correct design is also acceptable on performance grounds, and vice versa. We illustrate our approach with an example based on a KLM style timing analysis.
منابع مشابه
A Graph-Based Method for Timing Diagrams Representation and Verification
p. 1 A Petri Net Approach for the Analysis of VHDL Descriptions p. 15 Temporal Analysis of Time Bounded Digital Systems p. 27 Strongly-Typed Theory of Structures and Behaviours p. 39 Verification and Diagnosis of Digital Systems by Ternary Reasoning p. 55 Logic Verification of Incomplete Functions and Design Error Location p. 68 A Methodology for System-Level Design for Verifiability p. 80 Alge...
متن کاملAn Intelligent Algorithm for Optimization of Resource Allocation Problem by Considering Human Error in an Emergency Department
Human error is a significant and ever-growing problem in the healthcare sector. In this study, resource allocation problem is considered along with human errors to optimize utilization of resources in an emergency department. The algorithm is composed of simulation, artificial neural network (ANN), design of experiment (DOE) and fuzzy data envelopment analysis (FDEA). It is a multi-response opt...
متن کاملCombining Formal Verification and Timing Analysis
The goal of this project is to extend the domain of applicability of formal verification methodology from functional design toward more lower-level performance sensitive design. We intend to develop new methods for circuit timing analysis based on the timed automaton model while taking special care of the scalability requirements implied by the size of industrial-size circuits. We hope that suc...
متن کاملPredictive Analysis of Cognitive Errors of Control Room Operators: a Case Study in a Petrochemical Industry
Background and Aims: The aim of this study was to identify and assess human errors in a petrochemical plant using the Technique for the Retrospective and Predictive Analysis of Cognitive Errors (TRACEr). Methods: The sample size was all the eight operators of control room working in four shifts. In the first step, all tasks were analyzed using the hierarchical task analysis in order to identif...
متن کاملJoint Blind Multipath Diversity Combining and PN Code Timing Recovery for Direct-Sequence Spread-Spectrum Systems
A RAKE receiver accomplishing joint blind multipath diversity combining and PN code timing recovery is proposed for direct-sequence spread-spectrum signaling over a frequency-selective fading channel. In this technique, an improved known modulus adaptive algorithm is exploited to perform multipath diversity combining in the blind mode, while a modified PN code timing recovery technique based on...
متن کامل